cplusplus type-safe